#ifdef CHANGED
#ifndef USERTHREAD_H
#define USERTHREAD_H

extern int do_UserThreadCreate(int f, int arg); 
extern void do_UserThreadExit();

typedef struct {
  int f;
  int arg;
}UserThreadParam;
#endif //USERTHREAD_H
#endif //CHANGED
